Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 121 - 160 hits of 463. Search took 0.02 seconds.
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2024/PLD/i686/RPMS/ocaml-coq-devel-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/PLD/i686/RPMS/ocaml-coq-devel-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2022/PLD/i686/RPMS/ocaml-coq-devel-8.15.0-1.i686.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2023/PLD/i686/RPMS/ocaml-coq-devel-8.15.0-1.i686.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2022/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2023/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2024/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2022/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2023/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2024/PLD/x86_64/RPMS/ocaml-coq-8.15.0-1.x86_64.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2022/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2023/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2024/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2022/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm3/linux-pld-linux/dists/3.0/2023/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| PLD | /vol/rzm5/linux-pld-linux/dists/3.0/2024/PLD/i686/RPMS/ocaml-coq-8.15.0-1.i686.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Leap_16.0/x86_64/coq-devel-8.20.1-lp160.72.34.x86_64.rpm |
| OpenSuSE | /pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/lalala123:/arm64_succeed_pro/x86/x86_64/coq-devel-8.20.1-1.6.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20260206/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250602/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250723/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250903/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20251018/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20260203/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250324/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250522/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250717/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250829/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20251015/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20260128/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250317/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250514/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250711/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20250826/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/history/20251007/tumbleweed/repo/oss/x86_64/coq-devel-8.20.1-1.5.x86_64.rpm |
